Z3 Applications, Constraint Programming, Verification Workflows, Decision Procedures

Chain-in-Tree: Back to Sequential Reasoning in LLM Tree Search
arxiv.org·13h
🧮SMT Solvers
A Pipeline Approach to Language Migrations
infoq.com·1h·
Discuss: Hacker News
🔄Language Evolution
Functional genetic programming and exhaustive program search with combinator expressions (2007)
cs.hmc.edu·1d·
Discuss: Lobsters
🔗Functional Compilers
Building Smarter MCP Servers — From Theory to Practice
clever-cloud.com·9h
🔒WASM Capabilities
The eBPF Verifier – How Linux Safely Runs User Code in Kernel Space
qpoint.io·1d·
Discuss: Hacker News
🛡️eBPF Security
Faster, Cheaper, Local: The Myth and Reality of Replacing Claude for Coding
dev.to·21h·
Discuss: DEV
🏗️Compiler Archaeology
Holosplit
atdotde.blogspot.com·6h·
🔧KAITAI
First Day: A New Chapter at the JKU
stefan-marr.de·11h
🔩Systems Programming
A DuckDB extension for in-database inference, written in Rust 🦀
github.com·7h·
🦀Rust Borrowing
Domain-Aware Hyperdimensional Computing for Edge Smart Manufacturing
arxiv.org·13h
🎯Performance Proofs
Matlab vs. Julia: Top Choice for Renewable Energy?
blog.glcs.io·1h·
Discuss: Hacker News
📐Linear Algebra
SupraEVM 50% faster than Monad
supra.com·3d·
Discuss: Hacker News
SMT Applications
Haskell WebAssembly for Browser Interaction
funwithfunctions.com·17h·
Discuss: Hacker News
🛡️WASM Security
Subtext Retrospective
subtext-lang.org·1d·
Effect Handlers
Automated Excipient Polymorphism Prediction via Multi-Modal Data Fusion and HyperScore Validation
dev.to·23h·
Discuss: DEV
🧮Algebraic Datatypes
Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
arxiv.org·1d
📏Linear Logic
21 Ways to Use AI at Work (And Build Your AI Product Toolbox)
producttalk.org·4h·
Discuss: Hacker News
Proof Automation
The Java Developer’s Dilemma: Part 1
oreilly.com·1d
📏Code Metrics
CSnake: Detecting Self-Sustaining Cascading Failure via Causal Stitching of Fault Propagations
arxiv.org·13h
🛡️Error Boundaries
Solving 2-SAT
nima101.github.io·14h·
Discuss: Hacker News
🔗Constraint Handling